Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: First International Conference, RSSRail ... 9707 (Lecture Notes in Computer Science)
by Thierry Lecomte,Ralf Pinger,Alexander Romanovsky
ISBN 13: 9783319339504
Format: Paperback (268 pages) Publisher: Springer Published: 04 Jun 2016
Save for later
Software Engineering for Resilient Systems: 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings: 8166 (Lecture Notes in Computer Science)
by Anatoliy Gorbenko,Alexander Romanovsky,Vyacheslav Kharchenko
ISBN 13: 9783642408939
Format: Paperback (212 pages) Publisher: Springer Published: 13 Sep 2013
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail ... 10598 (Lecture Notes in Computer Science)
by Alessandro Fantechi,Thierry Lecomte,Alexander Romanovsky
ISBN 13: 9783319684987
Format: Paperback (284 pages) Publisher: Springer Published: 20 Oct 2017
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, RSSRail ... 11495 (Lecture Notes in Computer Science)
by Simon Collart-Dutilleul,Thierry Lecomte,Alexander Romanovsky
ISBN 13: 9783030187439
Format: Paperback (320 pages) Publisher: Springer Published: 24 Apr 2019
Scientific Engineering of Distributed Java Applications: 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, ... 3409 (Lecture Notes in Computer Science)
by Gianna Reggio,Alexander Romanovsky,Nicolas Guelfi
ISBN 13: 9783540250531
Format: Illustrated (144 pages) Publisher: Springer Published: 13 Jun 2008
Industrial Deployment of System Engineering Methods
by Alexander Romanovsky,Martyn Thomas
ISBN 13: 9783642430640
Format: Paperback (272 pages) Publisher: Springer Published: 08 Feb 2015
Concurrency in Dependable Computing
by Paul Ezhilchelvan,Alexander Romanovsky
ISBN 13: 9781402070433
Format: Illustrated (332 pages) Publisher: Springer Published: 01 Jun 2002